搜索包含 Symposium on Generalized Recursion Theory 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

	Viability Theory [electronic resource] : New Directions 0 索取号：作者：Aubin、 Jean-Pierre.、Bayen、 Alexandre M.、Saint-Pierre、 Patrick.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		35 Years of Fuzzy Set Theory [electronic resource] : Celebratory Volume Dedicated to the Retirement of Etienne E. Kerre 0 索取号：作者：Cornelis、 Chris.、Deschrijver、 Glad.、Nachtegael、 Mike.、Schockaert、 Steven.、Shi、 Yun.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	HCI in Work and Learning, Life and Leisure [electronic resource] : 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings 0 索取号：作者：Leitner、 Gerhard.、Hitz、 Martin.、Holzinger、 Andreas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II 0 索取号：作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I 0 索取号：作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Advances in Computation and Intelligence [electronic resource] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings 0 索取号：作者：Cai、 Zhihua.、Hu、 Chengyu.、Kang、 Zhuo.、Liu、 Yong.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Implementation and Application of Functional Languages [electronic resource] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers 0 索取号：作者：Moraz谩n、 Marco T.、Scholz、 Sven-Bodo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Theory and Practice of Corporate Social Responsibility [electronic resource] 0 索取号：作者：Idowu、 Samuel O.、Louche、 Celine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Computational Intelligence and Intelligent Systems [electronic resource] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings 0 索取号：作者：Cai、 Zhihua.、Tong、 Hengjian.、Kang、 Zhuo.、Liu、 Yong.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		String Processing and Information Retrieval [electronic resource] : 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010. Proceedings 0 索取号：作者：Chavez、 Edgar.、Lonardi、 Stefano.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Semantic Web Rules [electronic resource] : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings 0 索取号：作者：Dean、 Mike.、Hall、 John.、Rotolo、 Antonino.、Tabet、 Said.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Brain, Body and Machine [electronic resource] : Proceedings of an International Symposium on the Occasion of the 25th Anniversary of the McGill University Centre for Intelligent Machines 0 索取号：作者：Angeles、 Jorge.、Boulet、 Benoit.、Clark、 James J.、K枚vecses、 J贸zsef.、Siddiqi、 Kaleem.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Algorithmic Game Theory [electronic resource] : Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010. Proceedings 0 索取号：作者：Kontogiannis、 Spyros.、Koutsoupias、 Elias.、Spirakis、 Paul G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Grey Systems [electronic resource] : Theory and Applications 0 索取号：作者：Liu、 Sifeng.、Lin、 Yi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Advances in Artificial Intelligence-SBIA 2010 [electronic resource] : 20th Brazilian Symposium on Artificial Intelligence, S茫o Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings 0 索取号：作者：Rocha Costa、 Ant么nio Carlos.、Vicari、 Rosa Maria.、Tonidandel、 Flavio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Advances in the Theory of Control, Signals and Systems with Physical Modeling [electronic resource] 0 索取号：作者：L茅vine、 Jean.、M眉llhaupt、 Philippe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

	Viability Theory [electronic resource] : New Directions 0 索取号：作者：Aubin、 Jean-Pierre.、Bayen、 Alexandre M.、Saint-Pierre、 Patrick.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		35 Years of Fuzzy Set Theory [electronic resource] : Celebratory Volume Dedicated to the Retirement of Etienne E. Kerre 0 索取号：作者：Cornelis、 Chris.、Deschrijver、 Glad.、Nachtegael、 Mike.、Schockaert、 Steven.、Shi、 Yun.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	HCI in Work and Learning, Life and Leisure [electronic resource] : 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings 0 索取号：作者：Leitner、 Gerhard.、Hitz、 Martin.、Holzinger、 Andreas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II 0 索取号：作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I 0 索取号：作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Advances in Computation and Intelligence [electronic resource] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings 0 索取号：作者：Cai、 Zhihua.、Hu、 Chengyu.、Kang、 Zhuo.、Liu、 Yong.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Implementation and Application of Functional Languages [electronic resource] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers 0 索取号：作者：Moraz谩n、 Marco T.、Scholz、 Sven-Bodo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Theory and Practice of Corporate Social Responsibility [electronic resource] 0 索取号：作者：Idowu、 Samuel O.、Louche、 Celine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Computational Intelligence and Intelligent Systems [electronic resource] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings 0 索取号：作者：Cai、 Zhihua.、Tong、 Hengjian.、Kang、 Zhuo.、Liu、 Yong.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		String Processing and Information Retrieval [electronic resource] : 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010. Proceedings 0 索取号：作者：Chavez、 Edgar.、Lonardi、 Stefano.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Semantic Web Rules [electronic resource] : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings 0 索取号：作者：Dean、 Mike.、Hall、 John.、Rotolo、 Antonino.、Tabet、 Said.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Brain, Body and Machine [electronic resource] : Proceedings of an International Symposium on the Occasion of the 25th Anniversary of the McGill University Centre for Intelligent Machines 0 索取号：作者：Angeles、 Jorge.、Boulet、 Benoit.、Clark、 James J.、K枚vecses、 J贸zsef.、Siddiqi、 Kaleem.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Algorithmic Game Theory [electronic resource] : Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010. Proceedings 0 索取号：作者：Kontogiannis、 Spyros.、Koutsoupias、 Elias.、Spirakis、 Paul G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Grey Systems [electronic resource] : Theory and Applications 0 索取号：作者：Liu、 Sifeng.、Lin、 Yi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Advances in Artificial Intelligence-SBIA 2010 [electronic resource] : 20th Brazilian Symposium on Artificial Intelligence, S茫o Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings 0 索取号：作者：Rocha Costa、 Ant么nio Carlos.、Vicari、 Rosa Maria.、Tonidandel、 Flavio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Advances in the Theory of Control, Signals and Systems with Physical Modeling [electronic resource] 0 索取号：作者：L茅vine、 Jean.、M眉llhaupt、 Philippe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.